импликация

  • 101условная зависимость — импликация условное выражение условный — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы импликацияусловное выражениеусловный EN conditional …

    Справочник технического переводчика

  • 102Диссертация — 1. Опубликованное в виде книги, ее составной части или составной части сериального издания науч. произведение, представлявшееся или представленное к защите на соискание ученой степени кандидата или доктора к. л. наук. 2. Неопубликованное науч.… …

    Издательский словарь-справочник

  • 103Мелодика речи — (от греч. μελῳδικός  мелодический, песенный)  основной компонент интонации. Акустический коррелят М. р.  изменения частоты основного тона, развёртывающиеся во времени. М. р. организует фразу, расчленяя её на синтагмы и ритмические группы,… …

    Лингвистический энциклопедический словарь

  • 104ЛЬЮИС — (Lewis) Кларенс Ирвинг (12 апреля 1883, Стонем, Массачусетс – 3 февраля 1964, Менло Парк, Калифорния) – американский логик и философ, преподавал в Гарвардском и Стенфордском университетах, доктор философии (1910); член Американской академии… …

    Философская энциклопедия

  • 105МНОГОЗНАЧНЫЕ ЛОГИКИ – — обобщение классической двузначной логики (см. Логика высказываний) к примеру, посредством которого к обычным истинностным значениям «истина» и «ложь» добавляются и другие (промежуточные) значения. Этот факт указывает на то, что принцип… …

    Философская энциклопедия

  • 106закон гипотетического силлогизма — закон логики, характеризующий импликацию ( если, то ): если первое влечет второе, то если второе влечет третье, то первое влечет третье. Напр.: Если с ростом знаний о человеке возрастает возможность защитить его от болезней, то если с ростом этой …

    Словарь терминов логики

  • 107закон дунса скота — закон логики классической, характеризующий логическое противоречие и импликацию материальную. Закон можно передать так: ложное высказывание влечет (имплицирует) любое высказывание. Напр.: Если дважды два не равно четырем, то, если дважды два… …

    Словарь терминов логики

  • 108закон коммутации — (от лат. commutatio изменение, перемена) логический закон, говорящий о возможности перестановки двух последовательных оснований некоторого условного высказывания. Словами: первое влечет, что если второе, то третье, в том и только том случае,… …

    Словарь терминов логики

  • 109закон композиции — (от лат. compositio сочинение, составление) общее название ряда логических законов, позволяющих объединять следствия определенных условных высказываний или разделять их основание. Один из этих законов можно выразить так: если верно, что если… …

    Словарь терминов логики

  • 110закон косвенного доказательства — логический закон, позволяющий делать заключения об истинности какого то высказывания на основании того, что отрицание этого высказывания влечет противоречие. Напр.: Если из того, что 11 не является простым числом, вытекает то, что оно делится на… …

    Словарь терминов логики

  • 111контрапозиции закон — общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие (антецедент и консеквент) условного высказывания. Один из этих законов, называемый иногда законом простой контрапозиции, звучит так:… …

    Словарь терминов логики

  • 112логика классическая — раздел современной (математической, символической) логики, включающий классическую логику высказываний и классическую логику предикатов. Л.к. опирается на двузначности принцип, в соответствии с которым всякое высказывание является или истинным,… …

    Словарь терминов логики

  • 113модус поненс — (лат. modus ponens) термин средневековой логики, обозначающий правило вывода и соответствующий ему логический закон. Правило вывода М. п., обычно называемое правилом отделения (иногда гипотетическим силлогизмом), позволяет от утверждения… …

    Словарь терминов логики

  • 114приведение к абсурду — (лат. reductio ad absurdum), рассуждение, показывающее ошибочность какого то положения путем выведения из него абсурда, т. е. противоречия. Если из высказыванияА выводится как высказывание B, так и его отрицание, то верным является отрицание A.… …

    Словарь терминов логики

  • 115причинности логика — раздел современной логики, занимающийся исследованием структуры и логических отношений высказываний о причинных связях явлений (каузальных высказы ваний). Понятие причинности является одним из центральных как в науке, так и в философии науки.… …

    Словарь терминов логики

  • 116пропозициональная связка — операция, позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В к. л. формулы (простые,… …

    Словарь терминов логики

  • 117релевантная логика — одна из наиболее известных неклассических теорий логического следования. В названии Р. л. отражается стремление выделить и систематизировать только уместные (релевантные) принципы логики, исключив, в частности, парадоксы импликации, свойственные… …

    Словарь терминов логики

  • 118тождества закон — логический закон, согласно которому всякое высказывание влечет (имплицирует) само себя. Внешне это самый простой из логических законов. Его можно передать так: если высказывание истинно, то оно истинно. Напр.: Если трава зеленая, то она зеленая …

    Словарь терминов логики

  • 119транзитивности закон — закон логики, согласно которому определенная логическая связь (импликация, эквивалентность и др.) представляет собой отношение транзитивности. Т. з. для условного высказывания (импликации) можно передать так: когда верно, что если первое, то… …

    Словарь терминов логики

  • 120условное высказывание — сложное высказывание, формулируемое обычно с помощью связки если..., то... и устанавливающее, что одно событие, состояние и т. п. является в том или ином смысле основанием или условием другого. Напр.: Если есть огонь, то есть дым , Если число… …

    Словарь терминов логики